计算语义学;
Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.
由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
On the Problem of Semantic Classification of Russian Adjectives from the Perspective of Computational Semantics
从计算语义学角度看俄语形容词的语义分类问题
纳米英语 · 英语词汇
纳米英语 · 双语娱乐资讯
纳米英语 · 英语口语
纳米英语 · 高考英语